This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
Lee masThis book constitutes the refereed proceedings of the 11th International ACM SIGSOFT Symposium on Component-Based Software ...
Lee masThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Lee masThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Lee masThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
Lee masThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
Lee masEfforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...
Lee masEfforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...
Lee masThe papers deal with the foundations on which software engineering is built, including topics like software engineering as ...
Lee masThis book argues that the key problems of software systems development (SSD) are socio-technical rather than purely technical ...
Lee masThe three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...
Lee masThis book considers the potential and limitations of the various mathematical approaches and thereby aims to give a balanced ...
Lee masThis book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which took place in Dublin, ...
Lee masThis book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March ...
Lee masThis book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April ...
Lee masThis book constitutes the refereed proceedings of the 13th International Conference on the Quality of Information and Communications ...
Lee masThis book constitutes the proceedings of the 3rd European Workshop on Software Architecture (EWSA 2006) provided an internationalforumforresearchersandpractitionersfromacademiaandindustry ...
Lee masThis book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...
Lee masConstitutes the refereed proceeding of the 12th European Software Process Improvement Conference, EuroSPI 2005, held in Budapest, ...
Lee masThis volume constitutes the refereed proceedings of the 27th European Conference on Systems, Software and Services Process ...
Lee mas